|
Projective space plays a central role in algebraic geometry. The aim of this article is to define the notion in terms of abstract algebraic geometry and to describe some basic uses of projective space. == Homogeneous polynomial ideals== Let k be an algebraically closed field, and ''V'' be a finite-dimensional vector space over k. The symmetric algebra of the dual vector space ''V *'' is called the polynomial ring on ''V'' and denoted by k(). It is a naturally graded algebra by the degree of polynomials. The projective Nullstellensatz states that, for any homogeneous ideal ''I'' that does not contain all polynomials of a certain degree (referred to as an irrelevant ideal), the common zero locus of all polynomials in ''I'' (or ''Nullstelle'') is non-trivial (i.e. the common zero locus contains more than the single element ), and, more precisely, the ideal of polynomials that vanish on that locus coincides with the radical of the ideal ''I''. This last assertion is best summarized by the formula : for any relevant ideal ''I'', : In particular, maximal homogeneous relevant ideals of k() are one-to-one with lines through the origin of ''V''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebraic geometry of projective spaces」の詳細全文を読む スポンサード リンク
|